Algorithms and Complexity in Algebraic Geometry